let x = ({ foo = 1 } ∧ { bar = 2 })
  with bar = 3 
  with foo = 4 
in x
